AtomFree(d) == xdom(d). A=d(x)   AtomFree(Type;A) 

latex

---

clarification:

atom-free-decl{i:l}(T; eq; d) == Teqxdom(d). A=d(x)   atom-free{1:n}(Type{i}; A) 

latex

Definitions	Type, xdom(f). v=f(x)   P(x;v)
FDL editor aliases	atom-free-decl